Using SWRL and Protégé 4.1 to Optimize and Reason with Policies of the Cooperation between Goal and Process

transforming the informal descriptions of SWRL into the built-in elements of protégé4.1 is proposed, and the optimization as well as the validation of the policies are also indicated in this paper. The concept of the built-in elements in protégé4.1 is specified in this paper to indicate the mapping relationships from the informal descriptions of SWRL to the built-in elements of protégé4.1. According to the mapping relationship, the transformation approach is concluded and illustrated with a simple case. Then the policies for the cooperation between Goal and Process which is in the informal descriptions of SWRL are firstly optimized and then transformed into corresponding built-in elements of protégé4.1 through the approach. In this paper, effective reasoning support is provided for the dynamic evolution of Process model and the construction of on-demand service knowledge base.